(0 15 1)(2 7 5)(3 20 18)(4 12 9)(6 13 8)(10 16 11)(14 19 17)
ALLOWS (11/8)-SEQUENCE
1: (7 10 16)
(0 15 1)(2 7 11 10 5)(3 20 18)(4 12 9)(6 13 8)(14 19 17)(16)
2: (4 12 9)
(0 15 1)(2 7 11 10 5)(3 20 18)(4)(6 13 8)(9)(12)(14 19 17)(16)
3: (2 7 11)
(0 15 1)(2 10 5)(3 20 18)(4)(6 13 8)(7)(9)(11)(12)(14 19 17)(16)
4: (6 13 8)
(0 15 1)(2 10 5)(3 20 18)(4)(6)(7)(8)(9)(11)(12)(13)(14 19 17)(16)